A Remote Programming Technology on a Remote VDM Clustering in λ-Calculus

Knowledge based object programming tools were studied [1-7]. Formal technology dependent grammar differentiation and integration tools were developed and used to construct a contemporary science frame on an arbitrary u knowledge based object [8-9]. Tasım clustering tools were studied [1-14]. λ-Calculus, Turing machine and abstract computation are well known as in [15,16,17] etc. This paper: (a) Studies a remote compact VDM clustering technique. It is briefly called λ -T. (b) Generates well organized λ -C based clusters out of a given free VDM cluster F. It is briefly called λ -C. (c) Develops a practical remote programming technique1 on each λ-C in λ-C. It is briefly called λ-P. (d) Finds a λ-C and λ-P based evaluation process technique on each λ-P in λ-C. It is briefly called λ-EP. (e) Classifies λ-C constracts as commander-rator D, soldier-rand Ď and army D types. Where λ-C stands for λ-calculus. VDM stands for virtual disk memory. (f) Proves D is remote programmable by a λ-P in λ-C. (g) shows that each λ-P has remote λ-EP.